$\forall$$i$:Id, $A$:MsgA. Feasible($A$) $\Rightarrow$ Feasible(@$i$: $A$)